Nuprl Definition : dectt 0,22
dectt(d) == isl(d) 
latex

Definitionsisl(x)
FDL editor aliasesdectt

origin